321. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
322. Computer algebra in quantum field theory
Author: / edited by Carsten Schneider, Johannes Blumlein
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Quantum field theory, Data processing,Quantum field theory, Mathematics,Algebra, Computer programs,SCIENCE / Energy, bisacsh,SCIENCE / Mechanics / General, bisacsh,SCIENCE / Physics / General, bisacsh
Classification :
E-BOOK
323. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
324. Computer mathematics :
Author: editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer science, Congresses.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
9
.
M35
A83
2001eb
325. Computer science :
Author: J. Glenn Brookshear, David T. Smith, and Dennis Brylow.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA76
.
B743
2012
326. Computers and Exploratory Learning
Author: edited by Andrea A. diSessa, Celia Hoyles, Richard Noss, Laurie D. Edwards.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction -- Congresses.,Education -- Data processing -- Congresses.,Human-computer interaction -- Congresses.
Classification :
LB1028
.
43
E358
1995
327. Computing and philosophy :
Author: Vincent C. Müller, editor
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Philosophy.,Computer science-- Philosophy.,Computer science-- Social aspects.
Classification :
QA76
.
167
328. Conceptual modeling :
Author: Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
Classification :
QA76
.
9
.
D26
329. Concise guide to software engineering :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering.,Software engineering.
Classification :
QA76
.
758
.
O66
2017
330. Concise guide to software engineering :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering.,Software engineering.
Classification :
QA76
.
758
331. Constructive Methods in Computing Science :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA75
.
5
E358
1989
332. Contemporary Trends in Systems Development
Author: edited by Maung K. Sein, Bjorn Erik Munkvold, Tore U. Orvik, Wita Wojtkowski, W. Gregory Wojtkowski, Jože Zupančič, Stanislaw Wrycza.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Software engineering.
Classification :
QA76
.
9
.
S88
E358
2001
333. Contributions to Quantitative Linguistics :
Author: edited by Reinhard Köhler, Burghard B. Rieger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computational linguistics.,Linguistics.
Classification :
P138
.
E358
1993
334. Convergence and hybrid information technology
Author: Geuk Lee ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Coding theory, Congresses,Computer networks, Congresses,Computer science, Congresses,Information technology, Congresses,Software engineering, Congresses
Classification :
QA75
.
5
.
I24
2012eb
335. Creating Internet Intelligence
Author: by Ben Goertzel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Philosophy of mind.,Technology-- Philosophy.
336. Cross-cultural design :
Author: P.L. Patrick Rau (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
H85
P573
2013
337. Cryptographic hardware and embedded systems--CHES 2011 :
Author: Bart Preneel, Tsuyoshi Takagi, (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses,Data encryption (Computer science), Congresses,Embedded computer systems-- Security measures, Congresses
Classification :
QA76
.
9
.
A25
C44
2011
338. Current trends in web engineering :
Author: Cesare Pautasso, Fernando Sánchez-Figueroa, Kari Systä, Juan Manuel Murillo Rodríguez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
Classification :
TK5105
.
888
339. Cutting-Edge Research Topics on Multiple Criteria Decision Making :
Author: edited by Yong Shi, Shouyang Wang, Yi Peng, Jianping Li, Yong Zeng.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information systems.,Software engineering.
340. Cyber warfare :
Author: Jason Andress, Steve Winterfeld ; Russ Rogers, technical editor ; foreword by Stephen Northcutt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures, Handbooks, manuals, etc.,Information warfare, Handbooks, manuals, etc.
